report

2025-09-22

unexplained-errors

There was output to /proj/ssiw/users/x_domdr/projects/code/mimir/experiments/astar-blind/generators/data/2025-09-19-generator-astar30-ipc-numeric-grid-steps/slurm.err:

Traceback (most recent call last):
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/experiments/astar-blind/generators/./2025-09-19-generator-astar30-ipc-numeric.py", line 274, in <module>
    exp.run_steps()
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/.venv/lib64/python3.9/site-packages/lab/experiment.py", line 574, in run_steps
    env.run_steps(steps)
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/.venv/lib64/python3.9/site-packages/lab/environments.py", line 106, in run_steps
    step()
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/.venv/lib64/python3.9/site-packages/lab/steps.py", line 30, in __call__
    retval = self.func(*self.args, **self.kwargs)
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/.venv/lib64/python3.9/site-packages/lab/experiment.py", line 466, in parse
    parser.parse(run_dir, props)
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/.venv/lib64/python3.9/site-packages/lab/parser.py", line 208, in parse
    function.function(content, props)
  File "/proj/ssiw/users/x_domdr/projects/code/mimir/experiments/astar-blind/generators/generator_parser.py", line 23, in add_overapproximation_ratios
    props["overapproximation_ratio_until_last_f_layer"] = props["num_generated_invalid_bindings_until_last_f_layer"] / props["num_generated_valid_bindings_until_last_f_layer"]
ZeroDivisionError: division by zero
2025-09-22 11:06:42,802 CRITICAL Properties file "data/2025-09-19-generator-astar30-ipc-numeric/runs-00901-01000/00941/properties" is missing. Did you forget to add or run the "parse" step?
aborting
2025-09-22 11:07:01,346 CRITICAL No properties found in /proj/ssiw/users/x_domdr/projects/code/mimir/experiments/astar-blind/generators/data/2025-09-19-generator-astar30-ipc-numeric-eval
aborting

info

Used nodes: [<attribute 'node' missing>]

summary

average_num_derived_state_variables

Only tasks where all algorithms have a value for "average_num_derived_state_variables" are considered. Each table entry gives the sum of "average_num_derived_state_variables" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

average_num_double_slots_per_state

Only tasks where all algorithms have a value for "average_num_double_slots_per_state" are considered. Each table entry gives the sum of "average_num_double_slots_per_state" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

average_num_fluent_state_variables

Only tasks where all algorithms have a value for "average_num_fluent_state_variables" are considered. Each table entry gives the sum of "average_num_fluent_state_variables" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

average_num_index_slots_per_state

Only tasks where all algorithms have a value for "average_num_index_slots_per_state" are considered. Each table entry gives the sum of "average_num_index_slots_per_state" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

average_num_numeric_state_variables

Only tasks where all algorithms have a value for "average_num_numeric_state_variables" are considered. Each table entry gives the sum of "average_num_numeric_state_variables" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

average_num_slots_per_state

Only tasks where all algorithms have a value for "average_num_slots_per_state" are considered. Each table entry gives the sum of "average_num_slots_per_state" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

average_num_state_variables

Only tasks where all algorithms have a value for "average_num_state_variables" are considered. Each table entry gives the sum of "average_num_state_variables" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

cost

Only tasks where all algorithms have a value for "cost" are considered. Each table entry gives the sum of "cost" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

coverage

The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

initial_h_value

Only tasks where all algorithms have a value for "initial_h_value" are considered. Each table entry gives the finite sum of "initial_h_value" for that domain. The bottom row reports the finite sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

invalid_plan_reported

Only tasks where all algorithms have a value for "invalid_plan_reported" are considered. Each table entry gives the sum of "invalid_plan_reported" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

length

Only tasks where all algorithms have a value for "length" are considered. Each table entry gives the sum of "length" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_constraints_by_arity_0

Only tasks where all algorithms have a value for "num_constraints_by_arity_0" are considered. Each table entry gives the sum of "num_constraints_by_arity_0" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_constraints_by_arity_1

Only tasks where all algorithms have a value for "num_constraints_by_arity_1" are considered. Each table entry gives the sum of "num_constraints_by_arity_1" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_constraints_by_arity_2

Only tasks where all algorithms have a value for "num_constraints_by_arity_2" are considered. Each table entry gives the sum of "num_constraints_by_arity_2" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_constraints_by_arity_3

Only tasks where all algorithms have a value for "num_constraints_by_arity_3" are considered. Each table entry gives the sum of "num_constraints_by_arity_3" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_double_slots

Only tasks where all algorithms have a value for "num_double_slots" are considered. Each table entry gives the sum of "num_double_slots" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_expanded

Only tasks where all algorithms have a value for "num_expanded" are considered. Each table entry gives the sum of "num_expanded" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_expanded_until_last_f_layer

Only tasks where all algorithms have a value for "num_expanded_until_last_f_layer" are considered. Each table entry gives the sum of "num_expanded_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_functions_by_arity_0

Only tasks where all algorithms have a value for "num_functions_by_arity_0" are considered. Each table entry gives the sum of "num_functions_by_arity_0" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_functions_by_arity_1

Only tasks where all algorithms have a value for "num_functions_by_arity_1" are considered. Each table entry gives the sum of "num_functions_by_arity_1" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_functions_by_arity_2

Only tasks where all algorithms have a value for "num_functions_by_arity_2" are considered. Each table entry gives the sum of "num_functions_by_arity_2" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_functions_by_arity_3

Only tasks where all algorithms have a value for "num_functions_by_arity_3" are considered. Each table entry gives the sum of "num_functions_by_arity_3" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated

Only tasks where all algorithms have a value for "num_generated" are considered. Each table entry gives the sum of "num_generated" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_invalid_action_bindings

Only tasks where all algorithms have a value for "num_generated_invalid_action_bindings" are considered. Each table entry gives the sum of "num_generated_invalid_action_bindings" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_invalid_action_bindings_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_invalid_action_bindings_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_invalid_action_bindings_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_invalid_axiom_bindings

Only tasks where all algorithms have a value for "num_generated_invalid_axiom_bindings" are considered. Each table entry gives the sum of "num_generated_invalid_axiom_bindings" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_invalid_axiom_bindings_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_invalid_axiom_bindings_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_invalid_axiom_bindings_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_invalid_bindings

Only tasks where all algorithms have a value for "num_generated_invalid_bindings" are considered. Each table entry gives the sum of "num_generated_invalid_bindings" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_invalid_bindings_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_invalid_bindings_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_invalid_bindings_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_valid_action_bindings

Only tasks where all algorithms have a value for "num_generated_valid_action_bindings" are considered. Each table entry gives the sum of "num_generated_valid_action_bindings" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_valid_action_bindings_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_valid_action_bindings_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_valid_action_bindings_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_valid_axiom_bindings

Only tasks where all algorithms have a value for "num_generated_valid_axiom_bindings" are considered. Each table entry gives the sum of "num_generated_valid_axiom_bindings" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_valid_axiom_bindings_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_valid_axiom_bindings_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_valid_axiom_bindings_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_valid_bindings

Only tasks where all algorithms have a value for "num_generated_valid_bindings" are considered. Each table entry gives the sum of "num_generated_valid_bindings" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_generated_valid_bindings_until_last_f_layer

Only tasks where all algorithms have a value for "num_generated_valid_bindings_until_last_f_layer" are considered. Each table entry gives the sum of "num_generated_valid_bindings_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_index_slots

Only tasks where all algorithms have a value for "num_index_slots" are considered. Each table entry gives the sum of "num_index_slots" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_of_nodes

Only tasks where all algorithms have a value for "num_of_nodes" are considered. Each table entry gives the sum of "num_of_nodes" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_of_states

Only tasks where all algorithms have a value for "num_of_states" are considered. Each table entry gives the sum of "num_of_states" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_predicates_by_arity_0

Only tasks where all algorithms have a value for "num_predicates_by_arity_0" are considered. Each table entry gives the sum of "num_predicates_by_arity_0" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_predicates_by_arity_1

Only tasks where all algorithms have a value for "num_predicates_by_arity_1" are considered. Each table entry gives the sum of "num_predicates_by_arity_1" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_predicates_by_arity_2

Only tasks where all algorithms have a value for "num_predicates_by_arity_2" are considered. Each table entry gives the sum of "num_predicates_by_arity_2" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_predicates_by_arity_3

Only tasks where all algorithms have a value for "num_predicates_by_arity_3" are considered. Each table entry gives the sum of "num_predicates_by_arity_3" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_pruned_until_last_f_layer

Only tasks where all algorithms have a value for "num_pruned_until_last_f_layer" are considered. Each table entry gives the sum of "num_pruned_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_reachable_derived_atoms

Only tasks where all algorithms have a value for "num_reachable_derived_atoms" are considered. Each table entry gives the sum of "num_reachable_derived_atoms" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_reachable_fluent_atoms

Only tasks where all algorithms have a value for "num_reachable_fluent_atoms" are considered. Each table entry gives the sum of "num_reachable_fluent_atoms" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

num_slots

Only tasks where all algorithms have a value for "num_slots" are considered. Each table entry gives the sum of "num_slots" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

out_of_memory

Only tasks where all algorithms have a value for "out_of_memory" are considered. Each table entry gives the sum of "out_of_memory" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

out_of_time

Only tasks where all algorithms have a value for "out_of_time" are considered. Each table entry gives the sum of "out_of_time" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

overapproximation_ratio

Only tasks where all algorithms have a value for "overapproximation_ratio" are considered. Each table entry gives the sum of "overapproximation_ratio" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

overapproximation_ratio_until_last_f_layer

Only tasks where all algorithms have a value for "overapproximation_ratio_until_last_f_layer" are considered. Each table entry gives the sum of "overapproximation_ratio_until_last_f_layer" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

peak_memory_usage_in_bytes

Only tasks where all algorithms have a value for "peak_memory_usage_in_bytes" are considered. Each table entry gives the sum of "peak_memory_usage_in_bytes" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

run_dir

Per-domain reports only support numeric attributes, but run_dir has type str.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

score_peak_memory_usage_in_bytes

The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

score_state_peak_memory_usage_in_bytes

The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

search_time

Only tasks where all algorithms have a value for "search_time" are considered. Each table entry gives the geometric mean of "search_time" for that domain. The bottom row reports the geometric mean across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

state_peak_memory_usage_in_bytes

Only tasks where all algorithms have a value for "state_peak_memory_usage_in_bytes" are considered. Each table entry gives the sum of "state_peak_memory_usage_in_bytes" for that domain. The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

total_time

Only tasks where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The bottom row reports the geometric mean across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp

unsolvable

The bottom row reports the sum across all domains.

block-grouping

counters

delivery

drone

expedition

ext-plant-watering

farmland

fo-counters

fo-farmland

fo-sailing

hydropower

markettrader

mprime

pathwaysmetric

rover

sailing

settlersnumeric

sugar

tpp